A first-order conditional probability logic with iterations
نویسندگان
چکیده
منابع مشابه
A First-order Conditional Probability Logic with Iterations
We investigate a first-order conditional probability logic with equality, which is, up to our knowledge, the first treatise of such logic. The logic, denoted LFPOIC=, allows making statements such as: CP>s(φ, θ), and CP6s(φ, θ), with the intended meaning that the conditional probability of φ given θ is at least (at most) s. The corresponding syntax, semantic, and axiomatic system are introduced...
متن کاملFirst-Order Conditional Logic Revisited
Conditional logics play an important role in recent attempts to formulate theories of default reasoning. This paper investigates first-order conditional logic. We show that, as for first-order probabilistic logic, it is important not to confound statistical conditionals over the domain (such as “most birds fly”), and subjective conditionals over possible worlds (such as “I believe that Tweety i...
متن کاملA First-Order Conditional Logic with Qualitative Statistical Semantics
We define a first-order conditional logic in which conditionals, such as a —• 0, are interpreted as saying that nor-mal/commonAypical objects which satisfy a satisfy 0 as well. This qualitative 'statistical' interpretation is achievedby imposing additional structure on the domain of a single first-order model in the form of an ordering over domainelements and tuples, a —* 0 then hol...
متن کاملA Logic with Conditional Probability Operators
We present a sound and strongly complete axiomatization of a reasoning about linear combinations of conditional probabilities, including comparative statements. The developed logic is decidable, with a PSPACE containment for the decision procedure.
متن کاملA Logic with Higher Order Conditional Probabilities
We investigate probability logic with the conditional probability operators. This logic, denoted LCP , allows making statements such as: P sα, CP s(α | β), CP 0(α | β) with the intended meaning “the probability of α is at least s”, “the conditional probability of α given β is at least s”, “the conditional probability of α given β at most 0”. A possible-world approach is proposed to give semanti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2013
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim1307019m